VARIABLES T P E
FIX_VARIABLES

SUBTYPE Int T
SUBTYPE Successor<E> P
SUBTYPE P My<T>