add function call expr
add Sat. primitive call expr