Added post on inline constaints gotcha
Merged from Shankar
Merge branch 'ShankarCoverify-master'