Hi,
the waypoints are not necessary for the normal procedure. But such waypoints are necessary for “directs or shortcuts” and therefore you see these waypoints on the charts. The waypoints are included in the data but they are nnot necessary for such procedures.
The coding is correct so far.
Cheers
Richard
PS: here a reference to an equal question but on another airport Waypoints missing from RNAV arrival procedures (i.e. EDDK DEPOK1S) - #2 by NAVData