InsertSubrules implemented.