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
all basic tests pass
all tests should pass
1 test fails + cmd line option
all tests pass