debug: FVA, envelope methods

there were some bugs in how additional constraints are implemented