Changes in constraint mechanism
Some changes need to be done in the constraint service for formal verification constraints.
See 3329, and 3330 for getting more idea.
There are 2 options available:
1) Change the constraint service
2) Do these changes only for the formal verification constraints.
At present I am inclined towards point 2 and then merging it with constraint service when it is stable.