Rolling Back a Declarative Transaction