splitAndSlice :: [Library] -> Library -> [ProofObl]