public static final String Interface = "Interface";
public static final String Transition = "Transition";
public static final String PreCondition = "PreCondition";
+ public static final String JustifyingCondition = "JustifyingCondition";
public static final String SideEffect = "SideEffect";
public static final String PostCondition = "PostCondition";
public static final String PrintValue = "Print";
public static final String PrintValueType = "PRINT_VALUE";
public static final String TransitionType = "TRANSITION";
public static final String PreConditionType = "PRE_CONDITION";
+ public static final String JustifyingConditionType = "JUSTIFYING_CONDITION";
public static final String SideEffectType = "SIDE_EFFECT";
public static final String PostConditionType = "POST_CONDITION";