Module pyprotolinc.assumptions