fixed duplicate shortcuts generated by desugarings errors are not showing up
+ fixed testcases that contained duplicate shortcuts by desugarings