Focus synthesis on failed branches immediately
Fix TransformerWithPC with matches