Actions are now printed in the chronological order in TimeBasedPlanApplier

pretty print of the JSON-formatted constraints
Close #11