Uses of Interface
sisc.env.SymbolicEnvironment