PredomFixUtil.v