Merge branch 'bugfix/cinstruction-read-variables-field' into 'master'

[bugfix] Do not treat the read_variables field of CInstruction as pymbolic

See merge request !347