Implement translation of SBB to if...then...else