\sorts {
	A;
}

\problem {
	\forall A x; ( A::instance(x) = TRUE -> (A)x = x )
}