initial CTMC