
Contract B
+-------------+-------------------+
| Function    | require or assert |
+-------------+-------------------+
| constructor |                   |
+-------------+-------------------+
Contract C
+----------+-------------------+
| Function | require or assert |
+----------+-------------------+
| f        |                   |
+----------+-------------------+
