@Override
 public ConcreteType getType(StaticScope<ConcreteType> scope, Node node, String prop) {
   if (scope != null) {
     ConcreteType c = tt.inferConcreteType((TightenTypes.ConcreteScope) scope, node);
     return maybeAddAutoboxes(c, node, prop);
   } else {
     return null;
   }
 }