refactor: move lub logic out of while loop eval case
refactor: remove old bottom up iteration logic