public interface ProjectionToTerm
toTerm
null
Term
toTerm(RuleApp app, PosInOccurrence pos, Goal goal)
Term toTerm(RuleApp app, PosInOccurrence pos, Goal goal)