Loop Free Synthesis