Constraints changed into VFL