Merge branch 'bauerd/isl' into 'backend-rework'

Eliminate branches: implement isl analysis and recurse into conditionals

See merge request !390