all-in-one strategy: TrajectorySpec and BehaviouralSpec in ConstraintSpec