tuning proof rules and subnetsInGw def