Idris.CaseSplit
splitOnLine
replaceSplits
getClause
getProofClause
mkWith
nameMissing
getUniq
nameRoot