solidity/test/libsolidity/smtCheckerTests/modifiers/modifier_virtual_static_call_1.sol

pragma experimental SMTChecker;
contract A {
    modifier m virtual {
      _;
    }
}
contract C is A {
    function f() public A.m returns (uint) {
    }
}