UpToRule first tests