James Beyor. Blame Loop Synthesis