evaluation to whnf started