Open CQL IDE, open Example "Tutorial", hit run, click on "typeside Ty". The Output will be blank and when you click on either "Decide Equation-in-ctx" or "Normalize ...