core: slightly changed symbolic design (follow function boolean), continue to implement determine next addrs feature