Fix missing cases in check-sat rendering