analysis: fix RTA to say that at least primitive types are always instantiated (even...