bug fixed for wick theorem, need to verify the result