please include function applyAlwaysRules_step. // handler: voidfunc(Lisp) // note: only one handler per head can exist static void addAlwaysRuleHandler(S head, O handler) { applyAlwaysRules_handlers.put(head, handler); }