Working on pushDownConstraints

Small change to variable names in WorldTree constructor