Rule.getCorrectExamples() and Rule.getIncorrectExamples() don't return null anymore - this makes it easier for the user (no null checks needed)