Make mir parse testing consider lower bound more flexibly

Make mir parse testing consider lower bound more flexibly #628