Introduce ephemeral nodes for formal arguments