[VFAV-1] class BB (5,10): feature `f' has a unary Operator alias `alias "not"' but is not a query with no argument.
----