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