Add tests for planner rules, in particular for constant-reduction. (Disabled at present.)