Prolog conformance tests that are marked as STO are now skipped when using CxProlog or ECLiPSe due to limited support for cyclic terms in these two backend Prolog compilers