equation



INSTANCE equation#1;
	hlcs_extracted = {adder#1}; (* set indirectly *)
	covered_by = {adder#1}; (* set indirectly *)
	equal_expressions = {addition#1, expression#1};
END_INSTANCE;



INSTANCE equation#2;
	hlcs_extracted = {adder#2}; (* set indirectly *)
	covered_by = {adder#2}; (* set indirectly *)
	equal_expressions = {addition#2, expression#2};
END_INSTANCE;



INSTANCE equation#3;
	extracted_from = {derived_attribute#1};
	equal_expressions = {derived_attribute#1, ?z};
END_INSTANCE;



INSTANCE equation#4;
	hlcs_extracted = {for_all#1}; (* set indirectly *)
	covered_by = {for_all#1}; (* set indirectly *)
	equal_expressions = {query_expression#1, ?s};
END_INSTANCE;



INSTANCE equation#5;
	hlcs_extracted = {multiplier#1}; (* set indirectly *)
	covered_by = {multiplier#1}; (* set indirectly *)
	equal_expressions = {multiplication#1, expression#7};
END_INSTANCE;



INSTANCE equation#6;
	hlcs_extracted = {multiplier#2}; (* set indirectly *)
	covered_by = {multiplier#2}; (* set indirectly *)
	equal_expressions = {multiplication#2, expression#8};
END_INSTANCE;



INSTANCE equation#7;
	equal_expressions = ?e;
END_INSTANCE;