Quickfix for TuProlog error -- seems to pass all tests at kvdb level