Synthetic properties from Java getter/setters need to be specially handled so that candidates from such symbols are marked with unstable.
Tianyu Geng