Mark parameters as nonnull by default