Add mem problem with dependent types

[NeuralCoder3]

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

  '(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»'