Added dependency to sireum-util.