add SSA converter (yet incomplete)