Files
contract/test/invariant/static_mutable_error.cpp