
Contract I
+-------------+-------------------+
| Function    | require or assert |
+-------------+-------------------+
| constructor |                   |
+-------------+-------------------+
Contract C
+----------------+-------------------+
| Function       | require or assert |
+----------------+-------------------+
| f              |                   |
| publicTarget   |                   |
| internalTarget |                   |
+----------------+-------------------+
