switch to sat4j: result same as for non-tseitin version

~/Documents/scala-2.12/sandbox:topic/patmat-take4$ ../qbin/scalac -Xfatal-warnings -unchecked  t8430.scala
1,-2
onemodel
Map(V1=null#1 -> false, V1=LetL#2 -> false)
13,14,11,15,16,12,17,18,-11,-12
problem
 Lit#13  \/ Lit#14  \/ Lit#11 \/ Lit#15  /\
 Lit#16  \/ Lit#12  \/ Lit#17 \/ Lit#18  /\
 Lit#-11 \/ Lit#-12 \/        \/
allmodels
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> false, V2=CharLit#12 -> true, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> false, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> false, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> false, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> false, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> false, V2=UnitLit.type#18 -> true)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> false)
Map(V1=LetL#11 -> true, V2=CharLit#12 -> false, V1=LetC.type#13 -> true, V1=LetF.type#14 -> true, V1=LetP.type#15 -> true, V2=BooleanLit.type#16 -> true, V2=IntLit.type#17 -> true, V2=UnitLit.type#18 -> true)
t8430.scala:15: warning: match may not be exhaustive.
It would fail on the following inputs: ??, LetC, LetF, LetL(??), LetL(BooleanLit), LetL(IntLit), LetL(UnitLit), LetP
  (tree: Tree) => tree match {case LetL(CharLit) => ??? }
                  ^
error: No warnings can be incurred under -Xfatal-warnings.
one warning found
one error found