Praxis is certainly of the opinion that a limited form of generics can be accomodated, but I do not think that anyone would suggest that unlimited use of C++ templates could be easily accomodated by some of these tools.
I think that is beside the point of what I was trying to get from your previous connection.
Well I was just speculating on possible reasons for excluding templates from a C++ subset intended for embedded use. By comparison, SPARK has excluded generics from the Ada subset used for SC applications in the praxis context.