Partially revert 3c2ee9271ca4d93d7e08a18ef383c43424f87883.
Partially revert 3c2ee9271ca4d93d7e08a18ef383c43424f87883.

The atomic predicates must be converted of course.

utwente-fmt/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,trolando/ltsmin,vbloemen/ltsmin,trolando/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,trolando/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,trolando/ltsmin,alaarman/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,vbloemen/ltsmin