tests/external_function_2.sol analyzed (4 contracts with 1 detectors), 0 result(s) found