Rewrite -flatten: tests for withPolicy: variant
Tests for other flattening policies