pub fn compute_permission_steps<'a, 'tcx>(
    analysis: &AquascopeAnalysis<'a, 'tcx>
) -> Result<Vec<PermissionsLineDisplay>>where
    'tcx: 'a,