This package contains higher-level models of a method body and encoders to translate from the basic ABC model into these higher-level models.