S_InfAutAnal | B3