Kilat33 : Analisis Dinamis Fitur Sistem Berbasis Fakta