protected override ILattice <IADomain> Bottom() => IALattice.Bottom(_program);
protected override ILattice <IADomain> Iota() => IALattice.Top(_program);