function id[a](x: a) -> a
begin
    x + 42 // this should fail at type checking
end

function example(x: Int)
begin
    guard id(x) = x;
end

query example(depth_step=10, depth_limit=100, answer_limit=1)