Class DefaultPrecondition