fixed constraint issues in SNVC