Multicycle Path Constraints