public static final String DeclareState = "DeclareState";
public static final String InitalState = "Initial";
public static final String CopyState = "Copy";
+ public static final String ClearState = "Clear";
public static final String FinalState = "Final";
public static final String PrintState = "Print";
public static final String Commutativity = "Commutativity";