Class AndPrecondition