\brief Test if two data-types are operation identical If, at a source code level, a variable with data-type \b ct1 can be legally substituted for another variable with data-type \b ct2, return \b true. The substitution must be allowed for all possible operations the variable may be involved in. \param ct1 is the first data-type \param ct2 is the second data-type
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected