add kfan and manual variable decomposition
update caller
update caller