INSTANCE multiplication#1; multiplicands = ?multiplicands; END_INSTANCE;
INSTANCE multiplication#2; multiplicands = {?z, reciprocal#1}; END_INSTANCE;