splitrhs 

ensure only KVar or Conc constraints see https://github.com/ucsd-progsys/liquid-fixpoint/pull/31