public override MathematicalLattice.Element NontrivialMeet(MathematicalLattice.Element a, MathematicalLattice.Element b) { return(AVal.Meet((AVal)a, (AVal)b)); }