Fix parsing bug; can't let v be a variable and disjunction.