Fixing compilation of unit tests. These problems were due to splitLemma() being pure virtual.