#20: Fixed increment/decrement, introduced ModelQuery and explicit stack on DecompilationContext