Lts::reduce: vector --> queue/array
testing: add tests for Lts::deadlock/Shell::safety
Lts::deadlock: vector --> queue/array
Lts::visit: use queue<> instead of vector<>
Merge branch 'master' of https://github.com/vmaffione/fspc into codegen
Typo corrected.