{"shas":[["92bd8efe849017f611d15b16706979dffc1252e4","486664a1d7470c72d7715d255e82f58e4b33a8a9@informatik.uni-freiburg.de","correct handling of no effects and empty effect","Annette Bieniusa"]],"ref":"refs/heads/master","push_id":21051180,"head":"92bd8efe849017f611d15b16706979dffc1252e4","size":1}