去掉了copy.copy，修改了bin_clauses的调用