Make sure all path elements bar the first a not nullable
Handle nulls at start of cycles