prove cheat for sequent_has_type_bool