Member predicate XmlParsers::ParserConfig::disables

Holds if the method disables a property.

predicate disables(Expr e)