Many changes
Cleaned include dependencies
Replaced AlphaIsOK and BetaIsOK by AlphaBetaIsOK