construct predic evalu given gef predic param gef predic predic evalu predic gef wrapper tigri gef util predic gef predic predic gef predic 