Add support for option to the super optimizer.