I believe the expectation for rules is that each contains a single function at the top-level which meets the contract in terms of parameters. However, inside that top-level function you can indeed define as many other functions as you require. Can you confirm that you’re defining the additional functions inside the top-level rule function?
1 Like