// TOOL: ConstantValueInspection