asdad
aSASD
done splitting RBT into color, height, ord
fixme is failing
alter bk/mk Univs and Arrow
labels reach consraints
refreshing labels
almost there
unifyStrata
insert div info from lazy annotations
explicitely solve smap
tmp
fixme worksliquid tests/pos/fixme.hs liquid tests/pos/fixme.hs
still works
adding check
64 failing tests
21 failing tests
21 failing tests
21 failing tests
logWarnings