// -*- C++ -*- (c) 2019 Vladimír Štill <divin@vstill.eu>
#pragma once

#include <lart/support/meta.h>

namespace lart::nontermination
{
    PassMeta termsecPass();
    inline std::vector< PassMeta > passes() { return { termsecPass() }; }
}