Highlighting Counter-Examples in May diagrams

No need to return here, will go down to return propertyTruthValue anyway