huge rewrite

scf_dis_b now searches for alpha formulas, tracking the path