Adding test file for cover 1 union its generated complement