Verification R as in Joseph Hellis' version

but also add Joona's fix. In VALUE_KNOWN_WIN situations do not change anything.