add test for weak head normal form and use this to terminate reduction