@Test
public void testIsA1() {
// build graph for test case
Goal g1 = createGoal(gss, 1);
Principle p1 =createPrinciple(gss, 1);
Pattern si1 = createPattern(gss, 1);
Pattern si2 = createPattern(gss, 2);
Pattern si3 = createPattern(gss, 3);
createOffset(gss, si1, g1, 2);