}
@Override
public void match(CFGSingleEdge cfgEdge, BiMap<String, Variable> variables) {
ensureCorrectType(cfgEdge, ExpressionStatementEdge.class);
ExpressionStatementEdge expr = (ExpressionStatementEdge) cfgEdge.edge;
String message = "Expected '" + this.toString() + "', have '" + cfgEdge.toString() + "' instead.";
org.junit.Assert.assertEquals(message, expression, expr.expression.toString().trim());
}