Functions that have read-twice constant width branching programs are not necessarily testable | IEEE Conference Publication | IEEE Xplore