Fix constraint handling for lazy patterns