def setupSimonRound(self, stp_file, x0_in, y0_in,  x0_out, y0_out,
                        and_out0, key, wordsize):
        command = ""

        #Assert(y_out = x_in)
        command += "ASSERT({} = {});\n".format(y0_out, x0_in)

        #Assert AND Output
        command += "ASSERT({} = {} & {});\n".format(and_out0, 
            rotl(x0_in, self.rot_beta, wordsize), 
            rotl(x0_in, self.rot_alpha, wordsize))

        #Assert x_out
        command += "ASSERT({} = BVXOR({}, BVXOR({}, BVXOR({}, {}))));\n".format(
            x0_out, y0_in, and_out0, key, rotl(x0_in, self.rot_gamma, wordsize))
        stp_file.write(command)
        return
Returns a string representing one round of Simon in STP.
dataset/ETHPy150Open kste/cryptosmt/ciphers/simonkeyrc.py/SimonKeyRcCipher.setupSimonRound