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!