Ssacfg

SSACFG region trait.

This module defines the SSACFGRegion trait, which is used to indicate that a region has an SSACFG graph.