rule Rule(int param1, SomeContract.SomeStruct param2) {
    assert true;
}