Analysing GO code with Souffle

func main() { a := 1 b := a // you know what value b has without running the program // can another program know it? } When you read source code, you intuitively know what values given variables take (like in the trivial example above), ...