Added regression test to verify that volatile expressions disable
inverse transition functions.
Removed trailing whitespace
Added test to exercise the restart-on-NULL behaviour for inverse transition functions.