}
@Override
public void match(CFGSingleEdge cfgEdge, BiMap<String, Variable> variables) {
ensureCorrectType(cfgEdge, SuperConstructorInvocationEdge.class);
SuperConstructorInvocationEdge superEdge = (SuperConstructorInvocationEdge) cfgEdge.edge;
String message = "Expected '" + this.toString() + "', have '" + cfgEdge.toString() + "' instead.";
Expression optionalExpresison = superEdge.stmt.getExpression();
String optExpressionStr = optionalExpresison == null ? "" : optionalExpresison.toString();
org.junit.Assert.assertEquals(message, args, optExpressionStr +","+listToString(superEdge.stmt.arguments()));
}