* [FIX] Choicepoints are abandoned within mutex.