Update RuleExercise.krl