code: @Override public PType caseALessEqualNumericBinaryExp(
  			ALessEqualNumericBinaryExp node, TypeCheckInfo question)
  			throws AnalysisException
  	{
  		checkOrdered(node, THIS, question);
  		node.setType(AstFactory.newABooleanBasicType(node.getLocation()));
  		return question.assistantFactory.createPTypeAssistant().checkConstraint(question.constraint, node.getType(), node.getLocation());
  	}
docs: BINARY Expressions
  
  @throws AnalysisException