latest changes on lca, cond, and typcase