Added splits-control-flow annotation

Also added this annotation to the recursive SLIP evaluator