Fix rules delegation for CI #44

Job	Run time
verify (AToken.conf)	3m 9s
verify (Pool.conf --msg "Martins rules")	2h 0m 42s
verify (PoolAccurate.conf --msg "Index non decreasing part 1" --rule {_updateIndexesWrapperReacha...	14s
verify (PoolAccurate.conf --msg "Index non decreasing part 2" --rule {indexesNonDecresingFor_upda...	10s
verify (PoolAccurate.conf --msg "Deposit updates AToken scaled balance" --rule {depositUpdatesUse...	13s
verify (PoolAccurate.conf --msg "Deposit cannot change other users scaled balance" --rule {deposi...	9s
verify (ReserveConfiguration.conf)	2m 31s
verify (UserConfigCLI.conf)	2m 51s
verify (StableTokenCLI.conf)	2m 7s
verify (VariableTokenCLI.conf)	3m 35s
verify (PoolSimpleProperties.conf --msg "Deposit functionality" --rule {cannotDepositInInactiveRe...	10s
verify (PoolSimpleProperties.conf --msg "Withdraw functionality PLUS reachability" --rule {method...	10s
verify (PoolSimpleProperties.conf --msg "Borrow functionality" --rule {cannotBorrowZeroAmount, ca...	10s
	2h 16m 11s

Provide feedback