enforce expression constraints in path generation