INSTANCE addition#1; addends = ?addends; END_INSTANCE;
INSTANCE addition#2; addends = {?z, minus#1}; END_INSTANCE;