non DB-closed terms shouldnt appear in substitutions