Remove accidentally commited buggy test code.
Added support for registers to PWS.

Added warning message about not using rff for finite domain abstractions.
Fixed small bug in SbConstraint::pre.
Fixed bug with last_write_sets.
Removed asserts from PsoFencins and TsoFencins that were not true for PSO.