added instrumentation for the | operator
updated to use the | syntax for some quantifiers