private String genBuiltinToATerm(String type, String id) {
TypeConverter converter = new TypeConverter(
new CTypeConversions(prefix));
return "((ATerm) " + converter.makeBuiltinToATermConversion(type, id)
+ ")";
}
private String buildIsAltName(Type type, Alternative alt) {
return buildIsAltName(type, alt.getId());