fixes a bug in the reasoner