RuleEditor: Can now add/del antecedents (in GUI only, doesn't affect KB)
all control changes shown in console