updated verbthem.py : contract=yes/no -> contract=contract_yes/contract_no; finaln=yes/no -> finaln=finaln_yes/finaln_no