This feature contains all parts needed the TLC model checker.