Verification Of Quantum Programs For First Time