fixed a bug with overloaded constructors that have arity 0
now indexing locations
updated recursive methods query
added reachability query
implemented exception java query