modified instrumenter so that it changes the associativity of the | operator when used between quantifiers
updated to use the new, right associative | operator