added facility to print locations in prog during fault localization
added facility to print locations in prog during fault localization

rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell