Added netedQuantifierAttribute in QuantifierEliminate.h file and added attribute.h header