pBad1`0`x`()->etc``BAD1`
obad1`1`x`(OrderedVariableList('(alpha beta)))->Integer`pBad1``