Created by: rvantonder
We want a pattern like (() main func()) to be treated literally according to the heuristic that recognizes this input. This same heuristic will interpret (() or main()) literally, but in this case, the subexpression is a valid or-expression that we should parse rather than apply this heuristic.
This PR fixes the above, but really it is a stopgap because as I'm introducing more complex testing cases, I'm realizing that this heuristic doesn't really cut it for the behaviors we care about, and I will rework this logic soon.