let is_remainder (subst: subst) (context_element: Context.element) (offset: int) =
  let par_offset =
    Subst.context_literal_offset offset
  in
(*  Subst.exists
    (fun binding ->
       binding.Subst.sb_var.Subst.sv_offset == par_offset
       &&
       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
*)
    List.exists
      (fun par ->
         match Subst.get' subst par par_offset with
           | None -> 
               false
               
           | Some term ->
               begin
                 match term.Subst.st_term with
                   | Term.Var var ->
                       Var.is_universal var

                   | _ -> 
                       true
               end
      )
      context_element.Context.el_pars