add simgr options to variables