Wrong test in validity for FLModelSim