stochastic analysis with general Ito\'s lemma