6.3.5 pass_build_ssa