Fixed error in bcd.
Fixed error with assumptions in solver.