* change inference rules package