} catch (Throwable e) {
internalFailure(e.getMessage(), decl.parent().filename(), e, stmt.attributes());
throw e; // deadcode
}
}
<BUG>private Context translateAssert(Location<Assert> stmt, Context context) {
Pair<Expr, Context> p = translateExpressionWithChecks(stmt.getOperand(0), context);
</BUG>
Expr condition = p.first();
context = p.second();

} catch (Throwable e) {
internalFailure(e.getMessage(), decl.parent().filename(), e, stmt.attributes());
throw e; // deadcode
}
}
private Context translateAssert(Location<Assert> stmt, Context context) {
Location<?> operand = stmt.getOperand(0);
Pair<Expr, Context> p = translateExpressionWithChecks(operand, context);
Expr condition = p.first();
context = p.second();
