MSF ArrowChoice Bug Fix

Fixed a laziness bug preventing arrowchoice from working right in MSF in
the presence of recursion.