never{
T0_init:
	if
	:: (((((!(g1)) && (!(u1))) && (!(o1))) || ((!(g1)) && (u1))) || (((!(g1)) && (!(u1))) && (o1))) || ((g1) && (u1)) -> goto T1
	:: (((!(g1)) && (!(u1))) && (!(o1))) || (((!(g1)) && (!(u1))) && (o1)) -> goto T2
	:: (g1) && (!(u1)) -> goto accept_T3
	fi;
T1:
	if
	:: (((((!(g1)) && (!(u1))) && (!(o1))) || ((!(g1)) && (u1))) || (((!(g1)) && (!(u1))) && (o1))) || ((((g1) && (!(u1))) && (!(o1))) || ((g1) && (u1))) -> goto T1
	:: ((!(g1)) && (!(u1))) && (o1) -> goto T2
	:: ((g1) && (!(u1))) && (o1) -> goto accept_T3
	fi;
T2:
	if
	:: (g1) && (!(u1)) -> goto accept_T3
	:: (!(g1)) && (!(u1)) -> goto T2
	fi;
accept_T3:
	skip;
}