PropConInstructionsVisitor renamed to PropConVisitor.