The tools about verification of compression of FPW function.