As the VarHandle doesn't receive a string name of a variable to read/write it, Lincheck currently can't provide its name. The goal is to fix it.