ghc does not make it easy to ask whether an Id was defined at the top-level of the current module, so just print out all falses
ghc does not make it easy to ask whether an Id was defined at the
top-level of the current module, so just print out all falses

spinda/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell,Kyly/liquidhaskell,rolph-recto/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,spinda/liquidhaskell,Kyly/liquidhaskell,spinda/liquidhaskell,rolph-recto/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,rolph-recto/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,spinda/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell,rolph-recto/liquidhaskell,mightymoose/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell