added extra write procedure for a checker poset