STG flag assignment modified basing on the cardinality analysis results
Unsafe version of the analysis is retored.