Returns the transformation of the value if this Result is Ok and does not satisfy the given predicate, otherwise this Result.