Added simplifications on restart.
Fixed bug on clause signature.