Files
contract/example/features/friend_invariant.cpp