Fixed on bad test and bail out from the other until we implement ssa formatting