#KJ-128 Add support for LTL model checking. Completely overhauled LTL support module. Used a design pattern similar to heating/cooling but with pure functions that have configuration as an argument. Replaced auxiliary functions in LTL formulas with actual java syntax.