//statement assert(boolMethod());