Some bug fixed.
Assumption learning DONE!!