Phase4_backend_verification_steps
val checks : string -> (Types.phase_result list, Types.phase_result) Stdlib.result