bool sleep_can_read_from(ModelAction *curr, const ModelAction *write);
bool thin_air_constraint_may_allow(const ModelAction *writer, const ModelAction *reader);
bool mo_may_allow(const ModelAction *writer, const ModelAction *reader);
bool sleep_can_read_from(ModelAction *curr, const ModelAction *write);
bool thin_air_constraint_may_allow(const ModelAction *writer, const ModelAction *reader);
bool mo_may_allow(const ModelAction *writer, const ModelAction *reader);