// This example can't be loaded in KeY, because 
// the parser notices that the int and Null types
// have empty intersection.

\problem {

	! \exists int i; i = null 
}