function redefinition in new CBN testcases