Sancho 1.39 - added factorization for large fanout gates
Sancho 1.40 - optimized propnets with fanout factorization + goal trimming