PROBCORE-489 Implemented LTL Checker. NOT YET TESTED.