一种使用具有少于用于程序中的模型异步转移建模的所有可能边的流程图来形成程序的中间表示的编译器。该流程图在多个阶段中形成。在一个阶段中，该流程图在不对异步转移建模的情况下形成。在稍后的阶段中，选择性地添加所述异步转移的效果的表示。作为稍后阶段的一部分，对可能的异步转移建模的边在受保护区域中对在受保护区域外部生存的变量的定义之后被添加到流程图。变量活性的修改的定义用于结合异步转移之后的任何区域，包括受保护区域中的变量的使用。如果定义的变量的唯一使用是在处理程序中，则从受保护区域出发的边也被添加到该模型。