Add function to see whether two transitions are independent
First draft of calc_cv
New skeleton for calc_cv
Keep information about which tid/context was stepped
Check independence of states in cpor.ml