update analyzer with constraints, finished JOM lists