improve mysql parser: operator ||