collection no rely on implementioned defined behaviour. And fix check program handling of no-expression invocations vs expression invocations.