Resolve library dependency
Bug fix: `erfi:ecase` threw a weird error when it should throw error