Add a few more test cases

Notice that EQF_ELIM and NOT_INTRO are failing.