}
@Override
public void match(CFGSingleEdge cfgEdge, BiMap<String, Variable> variables) {
ensureCorrectType(cfgEdge, ConstructorInvocationEdge.class);
ConstructorInvocationEdge thisEdge = (ConstructorInvocationEdge) cfgEdge.edge;
String message = "Expected '" + this.toString() + "', have '" + cfgEdge.toString() + "' instead.";
org.junit.Assert.assertEquals(message, args, listToString(thisEdge.stmt.arguments()));
}