Enable BUGGY directive to convert inactive code blocks
Remove Choice.attempt instances by using choice computation expression