Input: tsc2005 - use true/false for boolean variables