A formal evaluation of DepDegree based on weyuker's properties. - Dirk Beyer 001; Peter Häring (ICPC, 2014)