Adds tests and implementation rules.