@Override public PType caseAIfStm(AIfStm node, TypeCheckInfo question) throws AnalysisException { node.setType(typeCheckIf(node.getLocation(), node.getIfExp(), node.getThenStm(), node.getElseIf(), node.getElseStm(), question));//rtypes.getType(node.getLocation())); return node.getType(); }