Small optimization in checking assertions