    @Test
    public void testSATIfThen1() throws ContradictionException,
            TimeoutException {

        gator.it(1, 2, 3);
        assertTrue(gator.isSatisfiable(new VecInt(new int[] { 1, 2, 3 })));

    }