Completing Tomoyo policies for all 4 benchmarks