Rehearsal: a Configuration Verification Tool for Puppet Rehearsal: A Configuration Verification Tool for Puppet t * Rian Shambaugh Aaron Weiss Arjun Guha ac AE f Comp C i * let t nt e e * r t is W s University of Massachusetts Amherst, United States e n A l o l