effective constraint type for walking past SIZE() or FROM() nodes

4 files changed