ucsd-progsys/liquidhaskell — pull request #194 by ranjitjhala (2014-04-11 04:30:36+00:00)
Title: splitrhs 

ensure only KVar or Conc constraints (see matching request for liquid-fixpoint)