Add verify_with_nonnull in mccgb.lib