constraint: add the weak parameter
spec: first batch of behavioral tests