deSugar test case fixes and expected output