More precise and correct behaviour in pragmas verification; Added better management of Expression Solvers with states