Working on pushDownConstraints
Small change to variable names in WorldTree constructor