code: protected AForAllExp makeRelContext(ATypeDefinition node, AVariableExp... exps){
  
  		AForAllExp forall_exp = new AForAllExp();
  		forall_exp.setType(new ABooleanBasicType());
  
  		ATypeMultipleBind tmb = new ATypeMultipleBind();
  		List<PPattern> pats = new LinkedList<>();
  		for (AVariableExp exp : exps)
  		{
  			pats.add(AstFactory.newAIdentifierPattern(exp.getName().clone()));
  		}
  		tmb.setPlist(pats);
  		tmb.setType(node.getType().clone());
  		List<PMultipleBind> binds = new LinkedList<>();
  		binds.add(tmb);
  		forall_exp.setBindList(binds);
  		return forall_exp;
  	}
docs: Create the context (forall x,y,z...) for a Proof Obligation for
  eq and ord relations.