public void visitType(Type type) {
if (curInst == null)
return;
if (!type.isFree()) {
SymbolicInstance i = types.get(type.getName());
result = i.getConcreteType().equals(curInst.getConcreteType());
}
if (type.getBound() != null) {
CtTypeReference r = curInst.getConcreteType().getFactory().Type()
.createReference(type.getBound().getName().getValue());
result = curInst.getConcreteType().isSubtypeOf(r);