check before program generation whether SFC step, that is referenced
by SFC jump, does exists