Added two test assumptions which currently fail.