Fixed representation of combined constructs, clauses with expressions and added initial development for cancellation constructs