Added documentation. Constant fold terminators.