exprToPred path (Call fun args _) = do
    funp <- exprToPred (path.call_funL) fun
    argsp <- argumentsToPred (path.call_argsL) args
    return $ pCall funp argsp
exprToPred path (Call fun args _) = do
    funp <- exprToPred (path.call_funL) fun
    argsp <- argumentsToPred (path.call_argsL) args
    return $ pCall funp argsp
exprToPred path (Call fun args _) = do
    funp <- exprToPred (path.call_funL) fun
    argsp <- argumentsToPred (path.call_argsL) args
    return $ pCall funp argsp