fix #27 adding underbar for the single existential variable
fix #27 adding underbar for the single existential variable

IITDBGroup/gprom,IITDBGroup/gprom,IITDBGroup/gprom,IITDBGroup/gprom,IITDBGroup/gprom,IITDBGroup/gprom