[boost] [contract] relaxing preconditions in subcontracting