add `af-from-wf`
finish the alternative (Karp-Miller-like) whistle for counter-systems supercompilation