In Critique of RoboLaw: the Model of SmartLaw