private package Expressions.Variables is
type Variable is new Expression with private;
type A_Variable is access all Variable'Class;
function Create_Variable