let is_remainder' (subst: subst)  =
  Subst.exists
    (fun binding ->
       Var.is_parametric binding.Subst.sb_var.Subst.sv_var
       &&
       match binding.Subst.sb_term.Subst.st_term with
         | Term.Var var when Var.is_parametric var ->
             false

         | _ ->
             true
    )
    subst