Performs a type analysis of non-annotated Ruby code
