Private namespace for negated predicate and normal let instead of letrec