@Test public void accountMC() { if (verifyNoPropertyViolation()) { StringMatcher matcher = new StringMatcher("abc"); matcher.compare("abc", "b"); } }
public boolean compare(String a, String b){ return true; }
StringMatcher { public boolean compare(String a, String b){ return true; } }
StringMatcher { public boolean compare(String a, String b){ return true; }  }
StringMatcher { public boolean compare(String a, String b){ return true; }  boolean compare(String a, String b); }
StringMatcher { public boolean compare(String a, String b){ return true; }  boolean compare(String a, String b);  }