Fix references to ModelCheckerResultRanged.