Emit auxiliary rules reflecting ground levels like iclingo.
Fix a bug in determine if a rule in volatile.