sig   val pretty_state_as_c_assert : Cvalue.Model.t Pretty_utils.formatter   val pretty_state_as_c_assignments : Cvalue.Model.t Pretty_utils.formatter end