core tetra: check that supers are in prenex form when taking arities