value

abstract fun value(): PathSensitivity