Studies on the Discovery of Declarative Control Flows from Error-prone Data