Teach the RuleCompiler how to imply 'Artificial' annotation to avoid 'forgot to add Artificial' annotation bugs.