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);
}

static void addAlwaysRuleHandler(L<S> heads, O handler) {
  for (S head : heads)
    addAlwaysRuleHandler(head, handler);
}