Refactoring: All direct uses of ExpressionVisitor / PredicateVisitor / AssignmentVisitor are now replaced by calls to TranslationVisitor.translate...()
Added Deprecated annotations