Added new zmqprf patern for proof analysis. FIrst test