Decide on xxx_time semantics
In irrelevance_common.pl
, creation_time/2
works as (+,-), other xxx_time/2
are implemented as (?,?).
The tests for all of these predicates are commented to test (+,+), (+,-), and (-,+). But actually only (+,+) and (+,-) is tested!