Successor_state_axiom loading ...