Sanity checks for possible null after nameOfPE
Update definition after moving in 1.18-