@Override
public Value constructor(String typeName, String constructorName, Term term) {
return values.constructor(typeName, constructorName, term.accept(this));
}
@Override
public Value constructor(String typeName, String constructorName, Term term) {
return values.constructor(typeName, constructorName, term.accept(this));
}