Class SimplePrecondition_impl