Refactor cut, add --eval and --elim flags