6ns+1: PSL assertion failed
