Conditional Counter Increment - Prolog Typing CST Test