Automatic Verification of Regular Constructions in Dynamic Geometry Systems