Added code for DoIfCheck and DoWhileCheck in rc.cup