binaryninja.builtins.boolΒΆ