made init order analysis a bit more precise

now only reads are considered, not writes