Python "port" of the "ADBC" Design By Contract library for AspectJ.