[lambda] The "congruence" of subterm properties w.r.t different excluded lists#1200