Add tests confirming behaviour of all-paths