Refactored LtlModelCheck.js