VARIABLES T P E
FIX_VARIABLES

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