work/bootstrap/gec8.c
T1 T844f10af4(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (T27f11(GE_void(((T1622*)(a1))->z1), a2, ((T1622*)(a1))->z2));
	return R;
}
/* Function for agent #4 in feature ET_CLUSTER_DEPENDENCE_CONSTRAINT.has_group */
Function for agent #4 in feature ET_CLUSTER_DEPENDENCE_CONSTRAINT.has_group
Function for agent #4 in feature ET_CLUSTER_DEPENDENCE_CONSTRAINT . has_group
T1 T844f10af4(T0* a1, T0* a2)
{
	T1 R = 0;
	R = (T27f11(GE_void(((T1622*)(a1))->z1), a2, ((T1622*)(a1))->z2));
	return R;
}
T1 T844f10af4 ( T0 * a1 , T0 * a2 ) { T1 R = 0 ; R = ( T27f11 ( GE_void ( ( ( T1622 * ) ( a1 ) ) -> z1 ) , a2 , ( ( T1622 * ) ( a1 ) ) -> z2 ) ) ; return R ; }
Function for agent #4 in feature ET_CLUSTER_DEPENDENCE_CONSTRAINT.has_group
Function for agent #4 in feature ET_CLUSTER_DEPENDENCE_CONSTRAINT . has_group