experimental type-safe graphs
type-safe graphs: inlining bounds
type-safe graphs (not working in test - KT-4673)