if len(tx['states']p)!=len(tx['states_combinatory'])+1: