added decomp and ssa_test