modifying IL
fix typo
implement Block, Switch expansion