Added binary relation folding (and prepared CtrlFlowOpti)