tweak output handling of static analysis specs