make consistency between RelationBuilder.java and TreeTypeChecker.java