https://papergrep.dev/paper/semi-automatic-composition-of-loop-6a5517