simplify

open override fun simplify(): BooleanExpression.True

This is not super well defined but works well enough for our simple use cases