public static void postProcess(Sequence topLevelSequence, PostProcessor postProcessor) {
for (Block b : getBlockList(topLevelSequence)) {
postProcessor.processBlock(b);
if (b instanceof Check) {
postProcess(new AndOperator(((Check) b).getConstraints()), postProcessor);
}
else if (b instanceof If) {
postProcess(((If) b).getCondition(), postProcessor);
}
}