on improving conclusion performance of batik, and fix unsoundness bugs