Add mem problem with dependent types

The `add_mem` pass fails to apply arguments to dependently typed functions.
The dependencies are not correctly tracked.

Example: Code involving internal_diff_core_wrap_mul fails with
```rust
  '(2:(.Idx 4294967296), _2431641#1:(.Idx 2))' of type 
  '«2; .Idx 4294967296»' to 
  'internal_diff_core_wrap_mul_5577316 (_2431346, 4294967296) 0' of domain 
  '«2; .Idx s_5577329_2429775»'
```