adding more constraints to wfe, to ensure seg case... this will prolly be too much