public void setThenBranch(Activity thenBranch) {
this.thenBranch = thenBranch;
}
public void computeStateFor(Continuation k) {
Continuation next=k.getNextContinuation();
ConditionalContinuation ck=(ConditionalContinuation)k;
if (thenBranch != null) {
ck.setThenContinuation(thenBranch.continuationWith(next));
} else {
ck.setThenContinuation(next);