added a checkwithin causality rule