wrap all constraints, so we can catch errors and set the unsat flag
merge output of generation into a scaffold