The Control Component of Open Mechanized Reasoning Systems