[python] Add a guard to VRMarkers to detect the trivially eliminated ones

``` 
if (RANGE_CHECK)
  VRMarker();
else
  Guard();
```
       
if both the `VRMarker` and `Guard` then the result is not interesting 