A program is a pair (CT ,e) of a class table and an expression.