Promote to parameter
Prefer method over equality operator
Change order of operations
Map to formulae
Resolve dependency graph for installed formulae only