1) no upcall from llbooter to logmgr anymore
2) ubenchmark for syncs invocation and constraint check for per event
1) refactor the code
2) chkpt before working on fault_localizer