core: add SSA transformation