deal with having variable after constant in the negated goal
deal with having variable after constant in the negated goal

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