module add_symbol_test 1.0;

require { class file { read }; }

role role_a_1;
role role_a_2;
role role_t_1;
role role_t_2;

type type_rt_1;


allow role_a_1 role_a_2;

role_transition role_t_1 type_rt_1 role_t_2;