removed namePredicate from being a parameter of the visit methods and instead put it as a field of BoogieVisitor