bugfix in Meta.Reasoner resolution algo