LIFO conflictSet and CEP fixes
  fixed LIFO implementation
  fixed life-cycle choice for CEP rules
  added FIXMEs to some smelly places