Starting CSP compiler
 Ready
/Started: 53 Finished: 51 Transitions: 100

Ready
Started: 61 Finished: 61 Transitions: 116

SDD worked
true 
