MIR Parser: Implicit register verifier should accept unexpected implicit