removing unnecessary assume from setreset testcase