\Draw \StateDiagrams \AStateNode(x)(--\null--) \MoveToNode(x,-1,0) \Move(-20,0) \FcNode(a) \Edge(a,x) \EndDraw