Check correct condition for worklists.

    The worklist invariant is not violated if we're already on
    wlsimp, so it's ok to not find it in wlfreeze.