pub type FieldAccesses<'a> = HashMap<&'a Expression, HashSet<FieldName>>;
pub struct FieldAccesses<'a> { /* private fields */ }