Checking if all values read from the trace are valid values