pos >= 0 && pos < psc_dynarray_len(pda) ==> psc_dynarray_len(pda) > 0
pos >= 0 && pos < psc_dynarray_len(pda) ==> psc_dynarray_len(pda) > 0

pscedu/pfl,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/pfl,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/pfl,pscedu/slash2-stable,pscedu/slash2-stable,pscedu/pfl