Updating: testing on ATS2-contrib is added