Added tactics for list membership and NoDup.