control flow generator for kool language with K framework