let
not_half_computed () =
not (
AddrTaken
.is_computed())
||
not (
LogicParam
.is_computed())