Automated Testing and Interactive Construction of Unavoidable Sets for Graph Classes of Small Path-Width