MethodInvocationTree mit = (MethodInvocationTree) parent.programPoint.syntaxTree();
Stream.Builder<JavaFileScannerContext.Location> flowBuilder = Stream.builder();
if (currentNode.programState.peekValue() == symbolicValue) {
flowBuilder.add(location(parent, String.format("'%s()' returns %s.", mit.symbol().name(), learnedConstraint.valueAsString())));
}
<BUG>SymbolicValue methodIdentifier = parent.programState.peekValues(mit.arguments().size() + 1).get(mit.arguments().size());
if (methodIdentifier == symbolicValue) {</BUG>
flowBuilder.add(location(parent, "..."));
}
int argIdx = correspondingArgumentIndex(symbolicValue, parent);

MethodInvocationTree mit = (MethodInvocationTree) parent.programPoint.syntaxTree();
Stream.Builder<JavaFileScannerContext.Location> flowBuilder = Stream.builder();
if (currentNode.programState.peekValue() == symbolicValue) {
flowBuilder.add(location(parent, String.format("'%s()' returns %s.", mit.symbol().name(), learnedConstraint.valueAsString())));
}
SymbolicValue methodIdentifier = parent.programState.peekValue(mit.arguments().size());
if (methodIdentifier == symbolicValue) {
flowBuilder.add(location(parent, "..."));
}
int argIdx = correspondingArgumentIndex(symbolicValue, parent);
