[testing] This file proves that Compiled5.bf.fss wasn't *really*
typechecking correctly in the first place --- ie, properly-qualified
method calls break, and break badly. When we reinsert the implicit
self parameter into the calls in Compiled5.bf we obtain essentially
the code shown here, and typechecking fails in exactly the same way.
