conjunction


INSTANCE conjunction#5;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	conjuncts = {in_operation#1, comparator#10};
END_INSTANCE;

INSTANCE conjunction#6;
	tipe = simple_type(logical_type);
	conjuncts = {function_call#6, function_call#7};
END_INSTANCE;

INSTANCE conjunction#7;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	conjuncts = {in_operation#4, comparator#11};
END_INSTANCE;

INSTANCE conjunction#8;
	tipe = simple_type(logical_type);
	conjuncts = {function_call#11, function_call#12};
END_INSTANCE;

INSTANCE conjunction#9;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	conjuncts = {function_call#15, negation#7};
END_INSTANCE;

INSTANCE conjunction#10;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	conjuncts = {function_call#18, negation#8};
END_INSTANCE;

INSTANCE conjunction#11;
	extracted_from = entity_type#195;
	description = "null";
	conjuncts = {equation#10, equation#11};
END_INSTANCE;

INSTANCE conjunction#12;
	extracted_from = entity_type#197;
	description = "null";
	conjuncts = {equation#12, equation#13};
END_INSTANCE;

INSTANCE conjunction#13;
	extracted_from = entity_type#196;
	description = "null";
	conjuncts = {exclusive_disjunction#1, exclusive_disjunction#2, exclusive_disjunction#3, exclusive_disjunction#4};
END_INSTANCE;