Limitations of Automated Checks and Implementation Scores