Scans through all of the functions defined in {@code program} and returns a map which takes a function to the set of address in its body which contain

Uses the symbolic propogator to attempt to determine the constant value in the syscall register at each system call instruction @param funcsToCalls m

Checks whether an instruction is a system call @param inst instruction to check @return true precisely when the instruction is a system call