Biabduction.BucketsClassify bugs into buckets
val classify_access :
Absint.Localise.error_desc ->
Absint.Localise.access option ->
IR.DecompiledExp.t option ->
bool ->
Absint.Localise.error_descClassify the bucket of an error desc using Location.access and nullable information