The control component of open mechanized reasoning systems