/test/libsolidity/smtCheckerTests/complex/
../
warn_on_struct.sol
warn_on_typecast.sol