Adds the time constraint in the SAS.

Adding it in the model make it count in the strategy.
The strategy can be generated using verifytga -w0 <model_file> <query_file>