simplify `create` section of ByteString.lhs
TODO:fix bug tickled by tests/todo/absref-crash.hs
TODO:fix bug tickled by tests/todo/absref-crash.hs
POTENTIAL (not clear) bug fix for tests/todo/absref-crash.hs and Repeat.hs etc
POTENTIAL (not clear) bug fix for tests/todo/absref-crash.hs and Repeat.hs etc
Merge branch 'absref-bugfix' of github.com:ucsd-progsys/liquidhaskell into repeat
pad absrefs with TRUE if some are missing..