\sorts {
	A;
}

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