Characteristic predicate CommentBlock :: CommentBlock
CommentBlock
(
)