Contextual equivalence is the standard notion of program equivalence for operational
semantics. Despite its prevalence and due to its complex nature, it is considered very hard to …