Maybe they use Java, which has long had such restrictions in its license, or another platform with those TOS.

(I did once use Java for offline processing of data at a nuclear reactor research facility, but human life was obviously not at stake.)