8007464: Add graph inference support
Summary: Add support for more aggressive type-inference scheme
Reviewed-by: jjg