analyseNondeterminism :: [FuncDecl] -> [((String,String),Bool)]
analyseSetValued :: [FuncDecl] -> [((String,String),Bool)]