node.setType(ln); return ln; } else if (rn instanceof ARealNumericBasicType) node.setType(rn); return rn; } else if (ln instanceof AIntNumericBasicType) node.setType(ln); return ln; } else if (rn instanceof AIntNumericBasicType) node.setType(rn); return rn; } else if (ln instanceof ANatNumericBasicType && rn instanceof ANatNumericBasicType) node.setType(ln); return ln; } else node.setType(AstFactory.newANatOneNumericBasicType(ln.getLocation())); return node.getType();