All annotation and assumptions tests are green again. Still missing functionality and tests for control flow assumptions.