* added debugging profile that only reports contract violations