also add missing tests around the auto-property analyzer when a getter has
no body