@Override
                void before(CFGBuilder builder) {
                  // skip following steps: their before behavior is added before the main loop
                }
@Override
                void before(CFGBuilder builder)