native on: all
branch
brfl(pred q, p target)
brfl(pred q, p target, lit delay)
brfl(pred q, lbl target)
brfl(pred q, lbl target, lit delay)