Ideas.Service.BasicServices
stepsremaining
findbuggyrules
allfirsts
solution
onefirst
onefinal
applicable
allapplications
apply
generate
create
type StepInfo a
tStepInfo
exampleDerivations
recognizeRule