Files
contract/test/invariant/static_const_permissive.cpp