Include CEGIS variations for same-call, include int-variations (+1/-1)