Bigop[var = term1]^[term2] term3 should parse with the same AST as Bigop[var in {term1...term2}] term3