analyzer, codefix and tests for 'Invert For' (closes #87)