case Bytecode.OPCODE_fail:
return translateFail((Location<Fail>) stmt, context);
case Bytecode.OPCODE_if:
case Bytecode.OPCODE_ifelse:
return translateIf((Location<If>) stmt, context);
<BUG>case Bytecode.OPCODE_indirectinvoke:
translateIndirectInvoke((Location<IndirectInvoke>) stmt, context.getEnvironment());</BUG>
return context;
<BUG>case Bytecode.OPCODE_invoke:
translateInvoke((Location<Invoke>) stmt, context.getEnvironment());</BUG>
return context;

case Bytecode.OPCODE_fail:
return translateFail((Location<Fail>) stmt, context);
case Bytecode.OPCODE_if:
case Bytecode.OPCODE_ifelse:
return translateIf((Location<If>) stmt, context);
case Bytecode.OPCODE_indirectinvoke:
checkExpressionPreconditions(stmt,context);
translateIndirectInvoke((Location<IndirectInvoke>) stmt, context.getEnvironment());
return context;
case Bytecode.OPCODE_invoke:
checkExpressionPreconditions(stmt,context);
translateInvoke((Location<Invoke>) stmt, context.getEnvironment());
return context;
