added ability to handle constraints to FVA and envelope methods