Found and removed bugs. Now generating a constraint graph also works for the ifthenelse example