Being a bit more reluctant to accept loop head constraints