let lc = NCicUtils.expand_local_context lc in
let l = List.map (NCicSubstitution.lift shift) lc in
if
- List.exists (fun t-> NCicUntrusted.metas_of_term subst context t = []) l
+ List.exists (fun t-> NCicUntrusted.metas_of_term subst context t <> [])l
then
raise (Uncertain msg)
else