Fix a major backchaining bug
Filter out some semantically meaningless rule applications