Revert "manualintegrate: change `in x.free_symbol` to `x.has`"

This reverts commit 5a089b35ad80818bd5c4d6f03b14842ce4f93bf4.