Add strategy design pattern to BetaReductionVisitor