Ryan'
P robably the read instance can not be infered without the functional dependency but the bug is also triggered with it. I simplified ithe coder as much as possible