Uses of Class
ch.usi.dag.disl.annotation.SyntheticLocal.Initialize