When adding a function call we use irrelevant constants for parameters where possible. For types for which constants cannot be created we should use a global undef.