gvt features features.inherit features.preconditions features.invariants \
features.clone features.predefined
