
Contract C
+----------+-------------------+
| Function | require or assert |
+----------+-------------------+
| basic    |                   |
| basic2   |                   |
+----------+-------------------+
