Function is_default_marker_call 

pub(crate) fn is_default_marker_call(
    call: &CallExpr,
    state: &StateManager,
) -> bool