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