Captures the equivalence file's header model (.beleq file).