Unknown reference `CaseAbstraction'