ImposeConstraint function

Force a tree to match a constraint