Rename rule2.lc to specification.lc.