rascal does not ask to switch to debug view anymore