Add symbolic evaluation for is_atom/1