clean and test VirtualConstraint