Rename BehavUpCnt.v to Homework2/BehavUpCnt.v