Use current version of SimpleTruthValue.h