Module Full_frontier.Protocol_states_for_root_scan_state