let is_canonical s x =  
  assert(Term.is_var x);
  not(Term.Var.Map.mem x s.post)