Refactoring of path constraints + LinearConstrainer