A REFLEX Algebraic Reserve Constraint Model