sast_helper.ml compiling
fix tests to semantically check attributes
add tests proving it works