I checked the spice file and it turned out to be a 4 terminal device (c b e s), but the symbol doesn't have a body connection. Is the symbol wrong then?