Fix 'it' in mjis.opt tests
Add generic DataFlowAnalysis and reimplement constant folding on top of it