#static-reasoning