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;