Fix the zero contraction bug

Previously in the code for multiplying two many-body expressions, the
contraction looping starts at one contraction. Now it is fixed to start
from zero contraction. And numeroud other bugs concerning the left and
right factors has been fixed..