PRO FORMA AS PHASES v2 · curve-based RLV solver with structural dependencies