Move loop control checks out of type inference stage