rethink flexterm diff interface
When using flex terms, the user must implement the diff
method, which is virtual
in the FlexTerm
base class. Typically though, one would need the lattice as well to compute the diff (e.g. in the SSH model). However, since templated functions may not be virtual, we have a collision here.