- tipc_initialize is semidet
- causes the TIPC service and the TIPC stack to be initialized
and made ready for service. An application must call this
predicate as part of its initialization prior to any use of
TIPC predicates. Please note the change of the API.