615 followers
Carbone et al. [2007] (https://t.co/GW2i5oUJli) came up with a clever solution. First, separately compile the branches of the conditional first as 'switches' with a single case guarded by the decision for that branch. Like 'switch(decision) { case APPROVED