query conclusion if the local is in the conclusion, otherwise query the local's belonging method's heap