added output reassignment validation specs