making use of notation EW(alpha)~>Avg in dsl code