ponder-lab / Hybridize-Functions-Refactoring / #4073

90%

push

github

Revert "Leave a parameter with an empty points-to set undetermined (#1247)" (#1249)

This reverts commit e598251c1. Treating an empty points-to set as
undetermined refused functions whose parameters the engine leaves empty
only because it doesn't model their arguments, such as a dataset's map
function, so it cost optimizations without a program-side reason.


Claude-Session: https://claude.ai/code/session_01NTnpjPjJj2aZy1ZkUD1eAn

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>

5 of 5 new or added lines in 1 file covered. (100.0%)

6514 of 7261 relevant lines covered (89.71%)

0.9 hits per line