@Test
public void checkGetLHSPatternVariables() {

    final List<String> allLHSVariables = model.getLHSPatternVariables();
    assertEquals(2,
                 allLHSVariables.size());
    assertTrue(allLHSVariables.contains("$p1"));
    assertTrue(allLHSVariables.contains("$p2"));
}