added function cli-assert, added doall to cli-trans-lhs and cli-trans-rhs