* support surface of lattice
* support RE
* support CTL
* support sliding windows
* support unregistering predicate
* support sequence
* refactor API
* support wcp
* support lattice
* take naming as a service in MIPA.
* support real mode message passing (without message dispatcher).
* support sensors plug-in.
* support OGA checking algorithm.
* support hierarchy checkers.
* support random delay message passing.
* first version.