Title: Optimal Data Flow Analysis via Obserrational Equivalence