Timeout counts in joint abduction and numerical abduction (need calibration).
Bug fix in preparing value constructor type scheme.
Better calibration of timeout.
Redefinition of recursive/nonrecursive branch distinction.
Universal variables that are not parameters have no place in postconditions (cannot become parameter candidates).
Commented-out logging.