-instance If ByteCode Stmt Stmt Stmt
-instance If ByteCode e Stmt Stmt
-instance If ByteCode Stmt e Stmt
-instance If ByteCode x y Expr
+//instance If ByteCode Stmt Stmt Stmt
+//instance If ByteCode e Stmt Stmt
+//instance If ByteCode Stmt e Stmt
+instance If ByteCode x y Stmt