Add 'angelic non-determinism' and 'regression'
commit