Given some known ABI, check if some subset of it exists in the bytecode. Either as a helper, or a documented recipe.