SSA arguments on a constructor call