true: warn(A), strict_sequence