Created test for PwsConstraint::pre that checks that an expected trace can be
followed backwards. Currently fails.