Class BlockingModalOperatorsVisitor