Add new constraint to assert that no error present