type safe property step
out step with branchFactor