Prime Checker - Bcpl Typing CST Test