    @Test
    public void testGetInitialValue() throws Exception {

        Variable v = Variable.create(Type.BOOL, "test", null);
        assertEquals(null, v.getInitialValue());

        Variable w = Variable.create(Type.BOOL, "test", "true");
        assertEquals(true, w.getInitialValue());
    }