The last photo is definitely a WS10 but whether it is on a production aircraft or not, can't tell, serial number not legibile.I like these photos
It seems that come back to an old question; AL-31 vs WS-10. but the nozzle hear doesn't look like AL-31 at all.