#include "ginac/ginac.h"

int main(){
	GiNaC::ex a = 1, b = 2;
	if(a == b) a = b;
}