changed different feature conditions for transformation of optional If Statements
computeCarthesianProduct fixed to take the given context into consideration