Deterministic accident analysis for RBMK