Plug in concrete lattice
Fix argument building for primitive calls
Allow the lattice to influence the addresses
Fix if