Computation_tree_logic loading ...