Loop Synthesis Tool