_match.rs: improve `enter_opt`

The `enter_opt` needs to know whether an arm has guard function or not.
Passes in additional argument so that it can make more precise
judgement.