slice :: [Library] -> Library -> Prop -> ProofObl