Predicate ConstantInConditional::effective_constant

predicate effective_constant(Name cond)