Eager Normal Form Bisimulation