op after simplify: CALL
