[WiP] detect worthy processes in the scope of (Boolean) Thomas models
promote is_worthy_process to Ph_reach
split worth process computation
improve Makefile