made sure that original JP unif runs decider only on FO terms
made sure that original JP unif runs decider only on FO terms

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition