灵等价要严格，以免造成类似上述大众定理般的转换结果。这些等价标示的严格程度指定了所需控制流结构的最小集合。1998年Lyle Ramshaw在ACM期刊的论文进行了相关的调查，也提出了自己的方法。Ramshaw的演算法也用在Java反编译器中，因为Java虚拟机有分支指令，以位移来表示分支跳转的目标，但高级的Java语言只有多层次的codice_2及codice_7指令。Ammarguellat在1992年提出一种转换方式，回到强制单一结束点的作法。
在Cobol上的应用.1980