Fixed bug in the core fixed point computation of the counter-strategy generation. Added robotics semantics to counter-example generation. Some more debugging still needed. Example "semantics_difference.slugsin" shows this.