Gecode backend branches on temporary variables