Added classification in recursive and exit rules, updated program
grounder accordingly
Added missing include in timer