fixed computation of relevant tuples from choice nodes in a context, before I used to filter the choice nodes for features that imply the context, but choice nodes in a context do not have that context as part of their features.

added a new function to transform ifstatements using conditionalExpressions

fixed bugs in IfStatements with variability in the thenbranch inside the ElifStatements

added two test files for IfStatement transformations