Fixed some confusion between "always" and "constraint" laws.