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