Don't ignore SReturns in the 'then' branch of an if