don't unfold evalCond and evalInstrs

- Fixes issue #1.