unrealizable spec demonstrating ctrstrategy sys violation