allow to protect some variables in Unif.Unary.match_same_scope