Improvement in CompWithSym.self_contract()