Runtime: removing dead code

2022-03-02, Edouard Tisserant