Forgot to mention that you have to use application options for both WEL and Vision2 in order to get this postcondition violation.