core: use SSA representation for instruction arguments