LiquidHaskell Version 0.8.6.0, Git revision 1d8c11324bb718eb3bd5c41643ba4b1cc377abf2 (dirty) [develop@1d8c11324bb718eb3bd5c41643ba4b1cc377abf2 (Thu Jul 11 14:48:47 2019 -0700)] 
Copyright 2013-19 Regents of the University of California. All Rights Reserved.

Targets: resources/custom/liquidhaskell/sandbox/1714843137_18783.hs
[1;94m
**** [Checking: resources/custom/liquidhaskell/sandbox/1714843137_18783.hs] ****
[0m[1;94m
**** DONE:  A-Normalization ****************************************************
[0m[1;90m 
[0mWARNING: Assume Overwrites Specifications for Lecture_09_DataPropositions.substBound : /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1714843137_18783.hs:231:13
WARNING: Assume Overwrites Specifications for Lecture_09_DataPropositions.lookupEnv : /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1714843137_18783.hs:119:13
WARNING: Assume Overwrites Specifications for Lecture_09_DataPropositions.eAppend : /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1714843137_18783.hs:127:13
WARNING: Assume Overwrites Specifications for Lecture_09_DataPropositions.subst : /home/rjhala/research/stack/liquid/liquid-server/resources/custom/liquidhaskell/sandbox/1714843137_18783.hs:225:13
[1;94m
**** DONE:  Extracted Core using GHC *******************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  Transformed Core ***************************************************
[0m[1;90m 
[0m[1;94m
**** DONE:  annotate ***********************************************************
[0m[1;90m 
[0m[1;92m
**** RESULT: SAFE **************************************************************
[0m