simplify

open override fun simplify(): BooleanExpression.False

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