some problems in SSA