mark non-immediate by-value parameters as non-null