Implement precise and invariant. Still no support for setting the prcies/invariant qualifier after the variable has been declared