Added temporal constraint laws for online BC+ modules.