Imperative code in CBN testcases