internal void GetSongsFromTableTestOfRetrieval([PexAssumeUnderTest] DatabaseConn target)
{
target.GetSongsFromTable();
// TODO: add assertions to method DatabaseConnTestOfDatabases.GetSongsFromTableTestOfRetrieval(DatabaseConn)
}