

 options:

    Simplifier: Use only proved local simps

