adding new soot-rb. DfsInfo now calls addSuperClass for built-in types