N.Forwards
Forward transfer functions for all expression constructs. Used to calculate the abstraction of an expression based on abstractions of its components
For a given construct C(z1, .., zn)
, Forwards.C z1' .. zn'
should verify: if for all i contains zi' zi
, then contains (Forwards.C z1' .. zn') (C(z1,..,zn))