Use then & ifOkThen for semanticCheck control flow