test ../../twelf-regression/talt-lf/sources.cfg