

options:

Simplifier: Use only proved local simps

