more fixes for branch marking in Fault.applyto