Added CLP support for acyclic CFGs