Added max cardinality variable elimination