Make sure names derived from case and with blocks get unique names during LambdaLifting
Make sure names derived from case and with blocks get unique names during LambdaLifting

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm