Visit binary expression in the flow analyzer