integrate static analysis at scheduling time, red/green things that
broke as a result (that means it works I think)