Optimal Data Flow Analysis via Obserrational Equivalence | lit.salon