On very small programs, the Eva analysis may end before the computation hook
is registered, and ivette is never notified that the analysis has been computed.

Sending the corresponding signal when the hook is registered ensures the
synchronization of the given value/state/array at the start.