Inductive Sequentialization of Asynchronous Programs (Evaluated Artifact)