Added test case for control flow constructs
Use type prefix in generated code