Update boolector backend to recent changes