Can now detect explicit immutable pointers