- check for dispatch precondition