Loosely matching rhymes for static analysis