1module add_symbol_test 1.0; 2 3require { class file { read }; } 4 5role role_a_1; 6role role_a_2; 7role role_t_1; 8role role_t_2; 9 10type type_rt_1; 11 12 13allow role_a_1 role_a_2; 14 15role_transition role_t_1 type_rt_1 role_t_2; 16