openzeppelin-contracts/certora/specs/methods/IERC6372.spec

methods {
    clock() returns (uint48)
    CLOCK_MODE() returns (string)
}