Implement proof constructor using predefined nodes order