#259

It is a matter of taste. As for me I don't like ! before smt.isEmpty.