Focus synthesis on failed branches immediately