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