Added assertions counter.
Minor changes...