fixed multiplied tuple optimisation by unoptimising the 'unknown factor' case, but still allow the underlying tuple to be constant