Add symbolic evaluation for is_integer/1