contains/2: noted it's requirements, removed useless check