Failed a gate, did not reproduce, out of scope, or malformed.
// SPDX-License-Identifier: MIT
pragma solidity 0.8.35;
/* ===ARENA-MANIFEST===
{"deploy":{"contract":"C","args":[]},"entry":{"function":"run","args":[0]},"feature":"apex-inj","note":"a;b"}
===END-ARENA-MANIFEST=== */
contract C { function run(uint x) external pure returns (bool){ return x==0; } function run2(uint x) external pure returns (bool){ return x==1; } }