moved all null tests to quickcheck based testing