Next cut at static analysis in batlab