68697071727374
} @Override public Binding convert(Binding bind) { return new BindingProject(projectionVars, bind) ; }
7677787980818283
} @Override public Binding convert(Binding bind) { Binding b = new BindingProject(projectionVars, bind, outerBinding) ; return b ; }