Module Transition_chain_verifier