EhaustiveAND.exec(): tuples to map