Counter Simulation - Prolog Typing CST Test