> attribute end_condition : Expression; // Here type is Boolean
> attribute init_procedure : Expression; // Here type is None
> // stands for void.
Why not write Expression<Boolean>? The way we are planning to handle
expressions in the object system, the type of the return value of expressions
is used for type checking.
Pablo