de-anonymised _DrtParser and _LogicParser