Rename local variable.
Remove unused accessor.
Only allow solver to run once concurrently.
Add missing assignments.
Add random expansion order option.