In the case of rspec or spinach, we can't take the risk to run a couple of other implementation for C libraries and the like. For static analyses however, we can take this risk.
