Add (failing) rearranged negate tests.
Add (failing) rearranged negate tests.

These capture the problem stopping Peterson optimisation from
going through.

septract/starling-tool,septract/starling-tool