function f(a): boolean %checks {
    return a;
}
function g(): %checks {} {
    return b;
}

(c): boolean %checks => c;
(d): %checks => d;