State Space Reduction by Non-Standard Semantics for Deadlock Analysis