ChooseMethodNormalizer now handles all Choose methods correctly; Choose methods are now always considered side effect free