Added tracking of thrown contract violations and made it possible to fetch the first thrown contract violations in current process.