clarify scope of assertion variables