uncoupled POL's canonical form tests from simPOL.
package split into privacy-option and privacy-option-simpol.