Operator.createOperator(arg, ops, mc);
assertEquals(2, ops.size());
assertTrue(ops.iterator().next().getMapping() instanceof ListDequotation);
// a PrimitiveStackRelation --> the same PrimitiveStackRelation
arg = new Dup();
ops.clear();
Operator.createOperator(arg, ops, mc);
assertEquals(1, ops.size());
assertTrue(ops.iterator().next().getMapping() instanceof Dup);