Computational_tree_logic loading ...