Fixed a bug in the Allen's Interval Reasoner by Yi Luo (the package's
author is jornfranke@gmail.com, should contact him about it later).