added evaluation of boogie