Create clear control flow entry point (toward reusable cfg expander pass)