Prank Scope Misapplied

hevm.prank() fails to change msg.sender for ordinary internal function calls, so Echidna tests silently run under the default sender and produce misleading pass/fail signals until calls are routed through an external contract call path.