Add symbolic evaluation for is_number/1