- assertions, gen case, and inout
- simplify block codegen
- remove blank lines in tasks with no inputs