public void visitFieldExpr(final FieldExpr expr) {
		// a.f, f in class C
		// [a] <= C
		// [declared field type] <= [a.f]

		final MemberRef field = expr.field();

		if (!expr.isDef()) {
			start(expr, field.type());
		}
	}