Fix #115: assertion counting