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);
		}
	}