public void returnOperation(
        final AbstractInsnNode insn,
        final Value value,
        final Value expected) throws AnalyzerException
    {
        if (!isSubTypeOf(value, expected)) {
            throw new AnalyzerException(insn,
                    "Incompatible return type",
                    expected,
                    value);
        }
    }