added is_class1,is_class2,independence_number,splic invariants list