sspec currently doesn't support invariant tests from Foundry
sspec currently doesn't support invariant tests from Foundry