Fix SSA.hs

if-then-else is converted correctly
Enhance SSA optimization