Introducing the Smart Machine Checker