Fix potcondition violation.

`dynamic_set postcondition' of {REFELECTOR}.`new_tuple_from_special' was nor hold because of different attachment mark.
Indeed I expected an attached tuple while the obtained type is a detachable one.

This detachable mark is due to the current implementation of {ANY}.`generating_type'.
Allox again postcondition checking.
Adding test informations.
Adding root class for testing.

Without System root, AutoTest cannot normally run.