deal with purely linear constraints in a smart way