promise_pure_test.m:035: Error: foreign clause for predicate `get_x'/1 has
promise_pure_test.m:035:   purity impure but that predicate has been declared
promise_pure_test.m:035:   semipure.