add tests for assert and printf generation