Adding constraint to Song and its unit test