STATIC ANALYSIS FOR RUBY IN THE PRESENCE OF GRADUAL TYPING