Added merges-control-flow annotation

Also applied this annotation to the evaluate-if function of the recursive SLIP interpreter