sv_analysis: decouple declarations and definitions