Add test-suite file for dependent rewriting example by Vadim Zaliva and
Daniel Schepler.