Incorrect variable detection in read-only-verification

[hiker]

In:

if (logical_var) then
   umask(ji,jj) = 1
endif
logical_var = .True.

the variable logical_var will be considered to be a read-only variable (and the read-only verification then flags that this variable is changed).

Reason is that read-only-verification uses call_tree_utils.get_input_parameters, which only detects input parameters - the read-only verification does not test if a variable is also an output parameter.