Completing Tomoyo policies for irrigation benchmark