Max of Two Numbers - Prolog Typing CST Test