added: assertion testing priority