Implemented PWFC and cmf_next/prev