Corrected a bug : the invariant cvx for initial OCT and DBM sstate was not constructed; added test cases.