Modify higher level compile functions to accept branch sequences in return
values.