[bbcbasic]

They seem to be more than assertions. You get warnings at build time and clearly some proving engine must be in use.