Let `remove_redundant_constraints` return `nothing`

[schillic]

Currently, remove_redundant_constraints returns an EmptySet if the constraints are contradicting. I think this is unexpected. Instead, I suggest to return nothing.