make getProgramProperty public for things that need to check annotations