Function validate_ssa 

pub fn validate_ssa<F: Function>(
    f: &F,
    cfginfo: &CFGInfo,
) -> Result<(), RegAllocError>