This attribute should be associated to a hidden flag. The rationale behind this is to help code inspection tools to detect synthetic variables. At present this can be inferred by analyzing the LVT table and assuming that any variable with a '$' inside is a synthetic local variable. Having a specific attribute for this can make this process simpler.