decode: use more descriptive names for branch signals