Start using new Hassel-C loop checks