Pass along the ruleset.
Has Opponent asserted this atom before?
Cleaned up E expander.