tests need to deep equal, quint can start later to ensure all tests pass
adds push function for arrays