Add the first actual optimization rule (as a stub).