def Aesop.RuleTac.preprocess : RuleTac

This RuleTac is applied once to the root goal, before any other rules are tried.