Annex-1

The documentation of the interpreter aquascope do not document the options, here are some example of usage.

interpreter

aquascope,interpreter,horizontal

aquascope,interpreter,concreteTypes

aquascope,interpreter+permissions,boundaries,stepper,horizontal

permissions

aquascope,permissions,stepper

aquascope,permissions,boundaries,showFlows

aquascope,permissions,boundaries,stepper