[
'orderedIntegers.neqkns',
'int.neqkns',
'lists.neqkns',
'square.neqkns',
'intWTPreds.neqkns',
'stack.neqkns',
'natB.neqkns']
.
