ch.uzh.ifi.attempto.codeco