Add note about alternative solutions
Merge branch 'master' into while_loop_variant