denormalized context/stmtref