Add buggy example of pcounter
Use the correct evaluation function with target others than run
Isolate CPOR bug in two-spawns example
Fix CPOR when a new thread is spawned
Factor a_halt into a static address