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