MalformedSwap
hairyfotr
MergeMaps
hairyfotr
MergeNestedIfs
hairyfotr
ModuloByOne
hairyfotr
matchVar
PassPartialFunctionDirectly
max
InvariantExtrema
message
Warning
methName
FuncFirstThenMap
method
AvoidOptionMethod
DecomposingEmptyCollection
UnnecessaryMethodCall
UnusedParameter
UseQuantifierFuncNotFold
methodImplements
Utils