check_variable_access_ordered: Require nosync in both directions