Align fact with implementation
Implement unused-var checker