Canonicalize an assume(load != null) into !nonnull metadata