Class AutomatedReasoningPolicyAddVariableAnnotation