I would never write such an if statement. In the article it was an example of the Specific/Generic Rule violation. Implementation evolution is as following (ba

I would never write such an if statement. In the article it was an example of the Specific/Generic Rule violation. Implementation evolution is as following (backed up by respective test): Sum(a,b): 4 Sum(a,b): a+2 Sum(a,b): a+b 1 example test for the requirement and 2 iteration of triangulation with transformation priority premise. I hope that makes sense. Sorry for not being clear enough in the article about the example being a violation of the rule, that you shouldn't do.