support different levels of -d. -d2 uses stricter assumptions to find declaration/definition.