see TODO for next steps of inccheck