Refactored SreElement to SreUtil.