Prove that Procs do not break rollbacks