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