Improved processor test Added build.properties for test Added support for some static analyses in guards