https://123dok.net/document/qvl76xor-deciding-hedged-bisimilarity.html