Added support for TmpFactPusher exceptions.
Rule can only be used if it left side is true!
Added 2 additional test cases.