Jukebox.Tools.AnalyseMonotonicity
data Extension
data Var
analyseMonotonicity
monotone
fromModel
extension
clause
literal
safe
guards