pub fn reverse_properties(
    inprops: FstProperties,
    has_superinitial: bool
) -> FstProperties