}
else if (m.getSignature().equals("<java.lang.String: boolean endsWith(java.lang.String)>")) {
if (expected == true) {
Variable base = getBase(v);
Variable arg = getArgument(v, 0);
makeBinaryAssertion(base, arg, new AssertEndsWith());
makeBinaryAssertion(arg, base, new AssertSuffixOf());
} else {
// TODO negated endsWith assertions [note: it is sound to ignore this]
}
}