branches/fault: state-aware thread execution