
Contract ERC20
+-----------+-------------------+
| Function  | require or assert |
+-----------+-------------------+
| balanceOf |                   |
+-----------+-------------------+
Contract C
+----------------------------+-------------------+
| Function                   | require or assert |
+----------------------------+-------------------+
| tryCatchFunctionCall       |                   |
| tryCatchContractDeployment |                   |
+----------------------------+-------------------+
