Restructured synthesis problem interface to be usable by both the main and helper users.